2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Rewriting Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)
Автор:
Hubert Comon-Lundh
, Автор:
Claude Kirchner
, Автор:
Helene Kirchner
Категория:
Компьютеры
Размер книги: 2.95 Mb
Certified Programs and Proofs - CPP 2011
Автор:
Jean-Pierre Jouannaud
, Автор:
Zhong Shao
Размер книги: 4.17 Mb
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
Автор:
Kokichi Futatsugi
, Автор:
Jean-Pierre Jouannaud
, Автор:
José Meseguer
Размер книги: 8.02 Mb
Conditional term rewriting systems Proc. Orsay
Автор:
Stephane Kaplan
, Автор:
Jean-Pierre Jouannaud
Категория:
Computer science
,
Computer algebra
Размер книги: 2.58 Mb
Rewriting Techniques and Applications, 1 conf., RTA-85
Автор:
Jean-Pierre Jouannaud
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.59 Mb
TAPSOFT'93: Theory and Practice of Software Development
Автор:
Marie-Claude Gaudel
, Автор:
Jean-Pierre Jouannaud
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 7.34 Mb
Algebra, meaning and computation. Essays dedicated to J.A. Goguen
Автор:
Kokichi Futatsugi
, Автор:
Jean-Pierre Jouannaud
, Автор:
José Meseguer
Размер книги: 5.22 Mb
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Автор:
Kokichi Futatsugi
, Автор:
Jean-Pierre Jouannaud
, Автор:
José Meseguer
Размер книги: 6.57 Mb
Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
Автор:
Jean-Pierre Jouannaud
Размер книги: 3.50 Mb
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course
Автор:
Hubert Comon
, Автор:
Jean-Pierre Jouannaud
Размер книги: 1.95 Mb
